The IF toolset

This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representations. Moreover, the IF notation is expressive enough to support real-time primitives and extensions of high-level modelling languages such as SDL and UML by means of structure preserving mappings. The core part of the IF toolset consists of a syntactic transformation component and an open exploration platform. The syntactic transformation component provides language level access to IF descriptions and has been used to implement static analysis and optimisation techniques. The exploration platform gives access to the graph of possible executions. It has been connected to different state-of-the-art model-checking and test-case generation tools. A methodology for the use of the toolset is presented at hand of a case study concerning the Ariane-5 flight program for which both an SDL and a UML model have been validate

SDL - The IoT Language

Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for analysis, or as complex as a web-enabled system to monitor and manage a smart home. Smart things present marvellous opportunities, but when they participate in complex systems, they challenge our ability to manage risk and ensure reliability. SDL, the ITU Standard Specification and Description Language, provides many advantages for modelling and simulating communicating agents – such as smart things – before they are deployed. The potential for SDL to enhance reliability and safety is explored with respect to existing smart things below. But SDL must advance if it is to become the language of choice for developing the next generation of smart things. In particular, it must target emerging IoT platforms, it must support simulation of interactions between pre-existing smart things and new smart things, and it must facilitate deployment of large numbers of similar things. Moreover, awareness of the potential benefits of SDL must be raised if those benefits are to be realized in the current and future Internet of Things.Peer ReviewedPostprint (published version

Mechanism of Vanadium Leaching during Surface Weathering of Basic Oxygen Furnace Steel Slag Blocks: A Microfocus X-ray Absorption Spectroscopy and Electron Microscopy Study

© 2017 American Chemical Society. Basic oxygen furnace (BOF) steelmaking slag is enriched in potentially toxic V which may become mobilized in high pH leachate during weathering. BOF slag was weathered under aerated and air-excluded conditions for 6 months prior to SEM/EDS and μXANES analysis to determine V host phases and speciation in both primary and secondary phases. Leached blocks show development of an altered region in which free lime and dicalcium silicate phases were absent and Ca-Si-H was precipitated (CaCO 3 was also present under aerated conditions). μXANES analyses show that V was released to solution as V(V) during dicalcium silicate dissolution and some V was incorporated into neo-formed Ca-Si-H. Higher V concentrations were observed in leachate under aerated conditions than in the air-excluded leaching experiment. Aqueous V concentrations were controlled by Ca 3 (VO 4 ) 2 solubility, which demonstrate an inverse relationship between Ca and V concentrations. Under air-excluded conditions Ca concentrations were controlled by dicalcium silicate dissolution and Ca-Si-H precipitation, leading to relatively high Ca and correspondingly low V concentrations. Formation of CaCO 3 under aerated conditions provided a sink for aqueous Ca, allowing higher V concentrations limited by kinetic dissolution rates of dicalcium silicate. Thus, V release may be slowed by the precipitation of secondary phases in the altered region, improving the prospects for slag reuse

Infrared Spectroscopy of Fluorenyl Cations at Cryogenic Temperatures

The notion of (anti)aromaticity is a successful concept in chemistry to explain the structure and stability of polycyclic hydrocarbons. Cyclopentadienyl and fluorenyl cations are among the most studied classical antiaromatic systems. In this work, fluorenyl cations are investigated by high-resolution gas-phase infrared spectroscopy in helium droplets. Bare fluorenyl cations are generated in the gas phase by electrospray ionization. After mass-to-charge selection, ions are captured in ultracold helium nanodroplets and probed by infrared spectroscopy using a widely tunable free-electron laser in the 600–1700 cm–1 range. The highly resolved cryogenic infrared spectra confirm, in combination with DFT computations, that all cations are present in their singlet states

The Chicken Yolk Sac IgY Receptor, a Mammalian Mannose Receptor Family Member, Transcytoses IgY across Polarized Epithelial Cells

In mammals the transfer of passive immunity from mother to young is mediated by the MHC-related receptor FcRn, which transports maternal IgG across epithelial cell barriers. In birds, maternal IgY in egg yolk is transferred across the yolk sac to passively immunize chicks during gestation and early independent life. The chicken yolk sac IgY receptor (FcRY) is the ortholog of the mammalian phospholipase A2 receptor, a mannose receptor family member, rather than an FcRn or MHC homolog. FcRn and FcRY both exhibit ligand binding at the acidic pH of endosomes and ligand release at the slightly basic pH of blood. Here we show that FcRY expressed in polarized mammalian epithelial cells functioned in endocytosis, bidirectional transcytosis, and recycling of chicken FcY/IgY. Confocal immunofluorescence studies demonstrated that IgY binding and endocytosis occurred at acidic but not basic pH, mimicking pH-dependent uptake of IgG by FcRn. Colocalization studies showed FcRY-mediated internalization via clathrin-coated pits and transport involving early and recycling endosomes. Disruption of microtubules partially inhibited apical-to-basolateral and basolateral-to-apical transcytosis, but not recycling, suggesting the use of different trafficking machinery. Our results represent the first cell biological evidence of functional equivalence between FcRY and FcRn and provide an intriguing example of how evolution can give rise to systems in which similar biological requirements in different species are satisfied utilizing distinct protein folds

Binary separation in very thin nematic films: thickness and phase coexistence

The behavior as a function of temperature of very thin films (10 to 200 nm) of pentylcyanobiphenyl (5CB) on silicon substrates is reported. In the vicinity of the nematic/isotropic transition we observe a coexistence of two regions of different thicknesses: thick regions are in the nematic state while thin ones are in the isotropic state. Moreover, the transition temperature is shifted downward following a 1/h^2 law (h is the film thickness). Microscope observations and small angle X-ray scattering allowed us to draw a phase diagram which is explained in terms of a binary first order phase transition where thickness plays the role of an order parameter.Comment: 5 pages, 3 figures, submitted to PRL on the 26th of Apri

Discrete Variational Optimal Control

This paper develops numerical methods for optimal control of mechanical systems in the Lagrangian setting. It extends the theory of discrete mechanics to enable the solutions of optimal control problems through the discretization of variational principles. The key point is to solve the optimal control problem as a variational integrator of a specially constructed higher-dimensional system. The developed framework applies to systems on tangent bundles, Lie groups, underactuated and nonholonomic systems with symmetries, and can approximate either smooth or discontinuous control inputs. The resulting methods inherit the preservation properties of variational integrators and result in numerically robust and easily implementable algorithms. Several theoretical and a practical examples, e.g. the control of an underwater vehicle, will illustrate the application of the proposed approach.Comment: 30 pages, 6 figure